дизъюнкция
91таблица истинности — таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В классической математической логике предполагается, что каждое простое (не содержащее логических… …
92функтор — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак + можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние… …
93Вероятностная логика — логическая система, в которой высказываниям (суждениям, утверждениям, предложениям), помимо истины и лжи, приписываются «промежуточные» истинностные значения, называемые вероятностями истинности высказываний, степенями их правдоподобия,… …
94Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …
95Логическая операция — в ЦВМ, поразрядная операция над кодами произвольной длины по правилам алгебры логики. Л. о. производится над всеми цифрами кодов одна и та же, при этом каждая цифра результата зависит не более чем от одной цифры одного или нескольких… …
96Положительная логика — логика, в которой приемлемыми считаются только рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых… …
97Правило вывода — правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… …
98Симметричность — в математике и логике, свойство бинарных (двуместных, двучленных) отношений (См. Отношение), выражающее независимость выполнимости данного отношения для какой либо пары объектов от порядка, в котором эти объекты входят в пару: отношение R …
99Подсемейство ильмовые (Ulmoideae) — Подсемейство ильмовых небольшая однородная группа, наиболее обособленная и наиболее примитивная в порядке крапивных. Оно объединяет 6 родов, в которые входит около 50 видов древесных растений. Центральное место среди ильмовых принадлежит… …
100КОНЪЮНКЦИЯ — КОНЪЮНКЦИЯ, логическое высказывание, которое получается путем объединения двух простых утверждений союзом «и». Например, утверждение «В доме есть свет и в доме есть вода» верно лишь в том случае, если обе составляющие его части верны по… …
